61. Formal methods for industrial critical systems :
پدیدآورنده : Falk Howar, Jiří Barnat (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
F67
I58
2018eb
62. Formal techniques for distributed objects, components, and systems :
پدیدآورنده : Jorge A. Pérez, Nobuko Yoshida (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer network protocols, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Formal methods (Computer science), Congresses.,Computer network protocols.,Electronic data processing-- Distributed processing.,Formal methods (Computer science)
رده :
QA76
.
9
.
D5
.
F67
2019
63. Frontier computing :
پدیدآورنده : Jason C. Hung, Neil Y. Yen, Kuan-Ching Li, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses.,Databases, Congresses.,Information technology, Congresses.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Databases.,Information technology.
رده :
QA75
.
5
64. Fundamental approaches to software engineering :
پدیدآورنده : FASE 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 ; Vittorio Cortellessa [und weitere] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Software Engineering,Software engineering -- Congresses.,Software engineering.
65. Global security, safety, and sustainability
پدیدآورنده : Hamid Jahankhani, Ali G. Hessami, Feng Hsu (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks-- Access control, Congresses,Computer networks-- Security measures, Congresses,Computer security, Congresses,Data protection, Congresses,Internet-- Security measures, Congresses
رده :
QA76
.
9
.
A25
I344
2009eb
66. Grid and Cooperative Computing - GCC 2004 :
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational grids (Computer systems), Congresses.,Computer science.,Information storage and retrieval systems.,Operating systems (Computers),Software engineering.,Computational grids (Computer systems),Computer science.,Information storage and retrieval systems.,Operating systems (Computers),Software engineering.
رده :
TK5105
.
5-5105
.
9
67. ICT and critical infrastructure :proceedings of the 48th Annual Convention of Computer Society of India
پدیدآورنده : Suresh Chandra Satapathy, P. S. Avadhani, Siba K. Udgata, Sadasivuni Lakshminarayana, editors ; Hosted by CSI Vishakapatnam Chapter
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : Congresses ، Computer science,Congresses ، Information technology,Congresses ، Computer networks,Congresses ، Computer security,Congresses ، Computer networks - Security measures,، Engineering,، Computational Intelligence,، Artificial Intelligence )incl. Robotics(
رده :
QA75
.
5
68. Industrial networks and intelligent systems :
پدیدآورنده : Trung Q Duong, Nguyen-Son Vo (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks-- Industrial applications, Congresses.,Expert systems (Computer science), Congresses.,Computer networks-- Industrial applications.,Expert systems (Computer science)
رده :
TK5105
.
5
69. Information Science and applications
پدیدآورنده : Kuinam J. Kim, Hye-Young Kim, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses.,Information technology, Congresses.,Computer software-- Development.,Information technology.
رده :
T58
.
5
70. Information Technology -- New Generations :
پدیدآورنده : Shahram Latifi, editor.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses.,Electrical engineering.,Information technology, Congresses.,Algorithms & data structures.,Computer science.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electrical engineering.,Information retrieval.,Information technology.
رده :
QA75
.
5
71. Information and communications security :
پدیدآورنده : David Naccache [and 7 more] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer security, Congresses.,Telecommunication systems-- Security measures, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer security.,Computers-- Hardware-- General.,Computers-- Information Theory.,Computers-- Online Services-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,Telecommunication systems-- Security measures.
رده :
QA76
.
9
.
A25
72. Information science and applications 2018 :
پدیدآورنده : Kuinam J. Kim, Nakhoon Baek, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks, Congresses.,Computer software, Congresses.,Information science, Congresses.,Software engineering, Congresses.,Computer networks.,Computer software.,Information science.,LANGUAGE ARTS & DISCIPLINES-- Library & Information Science-- General.,Software engineering.
رده :
Z672
.
5
73. Information systems and technologies to support learning :
پدیدآورنده : Álvaro Rocha, Mohammed Serrhini, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Education-- Effect of technological innovations on.,Educational innovations, Congresses.,Educational technology, Congresses.,Internet in education.,Artificial intelligence.,EDUCATION-- Administration-- General.,Education-- Effect of technological innovations on.,EDUCATION-- Organizations & Institutions.,Educational innovations.,Educational technology.,Internet in education.
رده :
LB1028
.
3
74. Intelligent, secure, and dependable systems in distributed and cloud environments :
پدیدآورنده : Issa Traore, Isaac Woungang, Sherif Saad Ahmed, Yasir Malik (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Cloud computing-- Security measures, Congresses.,Computer networks-- Security measures, Congresses.,Artificial intelligence.,Coding theory & cryptology.,Computer networks-- Security measures.,Computer security.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Information retrieval.,Network hardware.
رده :
TK5105
.
59
75. International Conference on Information Technology and Communication Systems
پدیدآورنده : Gherabi Noreddine, Janusz Kacprzyk
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Information technology -- Congresses,، Computer networks -- Congresses,، Telecommunication systems -- Congresses
رده :
T
58
.
5
.
I56628
2018
76. Internet and network economics :
پدیدآورنده : Ning Chen, Edith Elkind, Elias Koutsoupias (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks-- Economic aspects, Congresses,Electronic commerce, Congresses,Internet-- Economic aspects, Congresses
رده :
HB849
.
7
.
W56
2011
77. Leveraging applications of formal methods, verification and validation :
پدیدآورنده : Tiziana Margaria, Bernhard Steffen (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Machine learning, Congresses.,Robots-- Programming, Congresses.,Computer networking & communications.,Computer science.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Machine learning.,Program concepts-- learning to program.,Programming & scripting languages: general.,Robots-- Programming.,Software Engineering.
رده :
QA76
.
9
.
F67
78. Marine navigation and safety of sea transportation
پدیدآورنده : / editor, Adam Weintrit
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Electronics in navigation--Congresses,Aids to navigation--Congresses,Shipping--Safety measures--Congresses,Shipping--Technological innovations--Congresses,Nautical instruments--Congresses
79. Metadata and semantic research :
پدیدآورنده : Fabio Sartori, Miguel Ángel Sicilia, Nikos Manouselis (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Metadata, Congresses.,Semantic computing, Congresses.,Semantic Web, Congresses.,COMPUTERS-- Online Services.,COMPUTERS-- System Administration-- Storage & Retrieval.,Informatique.,Metadata.,Semantic computing.,Semantic Web.
رده :
QA76
.
5913
.
I584
2009eb
80. Middleware 2011 :
پدیدآورنده : Fabio Kon, Anne-Marie Kermarrec (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Middleware, Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
M54
A26
2011
